<?php
$pic_num = rand(1, 3);
$welcome_picture = IMG_URL."/admin/welcome_{$pic_num}.png";
?>